Common Subexpression Elimination

概述

公共子表达式消除是一种编译器优化技术，用于识别并消除程序中重复计算的子表达式，将重复的计算替换为对先前计算结果的引用。

关键内容

1. 技术原理：
2. 扫描程序的中间表示，识别在同一基本块内被重复计算的子表达式
3. 将后续的相同计算替换为对首次计算结果的引用

4. 减少了不必要的重复计算，提高了代码效率

5. 实现细节：

6. 在FORTRAN编译器的第二阶段实施，是编译器的第一个优化阶段
7. 例如，如果代码中出现A(I) + B(I)和A(I) * C，编译器会识别出A(I)的地址计算是重复的，只执行一次

8. 这项技术至今仍是所有优化编译器的标准步骤

9. 历史意义：

10. 首次在实用系统中实现的关键优化技术之一
11. 为后续的编译器优化研究奠定了基础
12. 在FORTRAN编译器中证明了优化技术的实际价值

来源

• The FORTRAN Automatic Coding System — 描述了该技术在FORTRAN编译器中的实现

相关

• FORTRAN — implemented_in
• Compiler Optimization — part_of
• Loop Optimization — related_to
• Optimizing Compiler — relates_to